logical proof перевод

• мат. логическое доказательство

• logical:    1) логический; относящийся к логике Ex: logical symbol _спец. символ логической связи2) логичный, последовательный Ex: logical conclusion логический вывод Ex: logical mind логичный (последовательный
• proof:    1) доказательство; подтверждение Ex: proof positive неопровержимое доказательство Ex: documentary proof, proof by documentary evidence документальное доказательство Ex: to give proofs представить до
• -proof:    pru:f второй компонент сложных слов со значением: не поддающийся действию того, устойчивый к тому, что выражено первым компонентом bullet(-)proof — пуленепробиваемый rain-proof — непромокаемый, водо
• proof of will:    доказывание завещания
• proof-proof:    равносильное контр-доказательство, доказательство против доказательства
• general-logical:    общелогический
• information-logical:    инф. информационно-логический (напр. о модели)
• logical abacus:    логический абак
• logical absurdity:    мат. логическое противоречие
• logical action:    1. логическое действие2. логическая операция
• logical addition:    логическое сложение
• logical address:    логический адрес
• logical algebra:    алгебра логики; булева алгебра
• logical algorithm:    логический алгоритм, алгоритм решения логических задач
• logical analysis:    мат. логический анализ

• Aris is a program for performing logical proofs.
  Aris— программа для выполнения логических доказательств.
• "Never can there be either scientific or logical proofs of divinity.
  Ни научное, ни логическое доказательство божественности невозможно.